Merge pull request #1340 from Andre-ARM/sec-irqs-fixes
authorDimitris Papastamos <[email protected]>
Thu, 17 May 2018 13:35:34 +0000 (14:35 +0100)
committerGitHub <[email protected]>
Thu, 17 May 2018 13:35:34 +0000 (14:35 +0100)
Fix support for systems without secure interrupts


Trivial merge